	제목(Title)	요약된 주소값 기반 메모리 분석 기법 및 이를 이용한 EVM 바이트코드 분석
	저자(Author)	박지희 류석영 Jihee Park Sukyoung Ryu
	수록저널(Journal)	정보과학회 컴퓨팅의 실제 논문지
	원문수록처(Citation)	VOL 26 NO. 04 PP. 0217 ~ 0222 2020. 04
	제목(Title)	WALA와 Boa를 활용하여 대규모 소프트웨어 저장소를 정적으로 분석하는 도구 개발
	저자(Author)	박현수 김진수 박무성 전영배 윤지원 Hyunsu Park Jinsoo Kim Moosung Park Youngbae Jeon Jiwon Yoon 박경희 류석영 Gyunghee Park Sukyoung Ryu
	수록저널(Journal)	정보과학회논문지
	원문수록처(Citation)	VOL 44 NO. 10 PP. 1081 ~ 1086 2017. 10

학술대회 프로시딩 (23)

	제목(Title)	최적화 대상에 따른 동형암호 컴파일러의 최적화 분류
	저자(Author)	박혜린 최재호 류석영 Hyerin Park Jaeho Choi Sukyoung Ryu
	수록저널(Journal)
	원문수록처(Citation)	VOL 49 NO. 02 PP. 1257 ~ 1259 2022. 12
	제목(Title)	모나딕 타입으로 Coq에서 배중률 사용을 안전하게 감싸기
	저자(Author)	Jihee Park Sukyoung Ryu 박지희 류석영
	수록저널(Journal)
	원문수록처(Citation)	VOL 49 NO. 02 PP. 1236 ~ 1238 2022. 12